Julia 抽象参数类型

阐述

语法

abstract type S{T} end

语义

为了定义一系列具有类似行为的 Julia 参数类型，引入抽象参数类型。参数化后的抽象参数类型是其的子类型，具象化的抽象参数类型也是其子类型。

实例

julia> abstract type Pointy{T} end

julia> Pointy{Int64} <: Pointy
true

julia> struct Point{T} <: Pointy{T}
           x::T
           y::T
       end

julia> Point{Float64} <: Pointy{Float64}
true

性质

相关内容

参考文献